Critical Software - PDFSEARCH.IO - Document Search Engine

Critical Software
Results: 1293

#	Item
21	Cybersecurity on SCADA: risk prediction, analysis and reaction tools for Critical Infrastructures Service and tool developed and operated by : Software Checker Add to Reading List Source URL: www.itrust.lu Language: English - Date: 2015-01-24 19:29:24 Software Computing Computer architecture Control engineering Industrial automation SCADA Telemetry Server Client Windows Server BlackBerry Enterprise Server
22	Page 1 of 2 2016_1 CRITICAL INFORMATION SUMMARY INREACH SAFETY PLAN Add to Reading List Source URL: www.alwaysinreach.com.au Language: English - Date: 2016-01-21 19:20:58 Computing Technology Mobile technology Atlases Cartography DeLorme GIS software Global Positioning System Yarmouth Maine Iridium Communications Short Message Service Iridium satellite constellation
23	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
24	PANELISTS: SESSION ID: SPO02-T11 Ammar Alkassar Add to Reading List Source URL: norbert-pohlmann.com Language: English - Date: 2016-03-23 13:52:21 Security Prevention National security Safety Crime prevention Cryptography Information governance Cyberwarfare Computer security Information security Recreational Software Advisory Council Critical infrastructure
25	The College of Wooster Summer Reading, 2016 The following prompts ask you to make an argument based upon your reading and analysis of Wes Moore’s The Other Wes Moore. Please select one of the following prompts and Add to Reading List Source URL: thewoosterforum.scotblogs.wooster.edu Language: English - Date: 2016-06-20 13:14:48 Computing Software Language Critical thinking Masculinity Men Essay Writing Dropbox Wes Moore Argument
26	Modulare Werkzeugarchitektur A critical discussion on Domain-Specific Languages Disclaimer Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:13 Software engineering Computing Programming paradigms Computer programming Domain-specific language Programming language implementation Red Programming language Tom Object-oriented programming Abstraction Rodrigo B. De Oliveira
27	The Evolving World of Metrics HOME STUDY TEST Earn 3.0 Continuing Education Credits This test expires on August 31, 2017 (original release date: ) Add to Reading List Source URL: www.acrpnet.org Language: English - Date: 2016-07-29 11:45:55 Economy Business Management Business intelligence Business software Strategic management Metrics Performance indicator Dashboard Balanced scorecard Critical success factor Performance metric
28	GNU Bash "Shellshock" Security Vulnerability December 5, 2014 A critical security vulnerability has been reported in the GNU Bash "Shellshock", which is a common command line used in many Linux/UNIX operating systems. TA Add to Reading List Source URL: www.triumph-adler.de Language: English - Date: 2014-12-15 03:12:29 Computing Software Internet security Software bugs Shellshock Bash Kyocera Vulnerability Operating system Linux
29	Cask Data Application Platform (CDAP) Extensions CDAP Extensions provide additional capabilities and user interfaces to CDAP. They are use-case specific applications designed to solve common and critical big data challe Add to Reading List Source URL: customers.cask.co Language: English - Date: 2016-08-02 06:10:32 Computing Data Hadoop Apache Software Foundation Cask Teradata Data management Cloud infrastructure Big data Apache Hadoop Apache Spark Extract transform load
30	Microsoft Word - 16ae-0265_koopman_camera_ready.docx Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2016-03-06 19:15:34 Engineering Safety engineering Systems engineering Software quality Computer systems Control engineering ISO 26262 Life-critical system Reliability engineering Verification and validation Fault tolerance Software testing

UPDATE